Bearings Comprehensive Offering Kaman carries a wide range of bearings, from general purpose to high-performance products. Our catalog includes a comprehensive assortment of configurations—including ball, linear, cylin

Source URL: ec.kamandirect.com

LOCAL LIPSCHITZ CONTINUITY OF THE DIAMETRIC COMPLETION MAPPING J. P. MORENO AND R. SCHNEIDER Abstract. The diametric completion mapping associates with every closed bounded set C in a normed linear space the set γ(C) of

Source URL: home.mathematik.uni-freiburg.de

New SAS Procedures for Analysis of Sample Survey Data Anthony An and Donna Watts, SAS Institute Inc., Cary, NC plied to a sample drawn by a complex sample design. Therefore SAS users have requested procedures that ana

Source URL: www.ats.ucla.edu

• Sampling
• Statistical theory
• Survey methodology
• Econometrics
• Stratified sampling
• Statistics
• Standard error
• Sample size determination
• Linear regression
• Sample
• Stratification
• Cluster sampling

A note on subgaussian estimates for linear functionals on convex bodies A. Giannopoulos∗ A. Pajor† and G. Paouris‡ Abstract We give an alternative proof of a recent result of Klartag on the existence

Source URL: perso-math.univ-mlv.fr

Numerical Solution of Linear Volterra Integral Equations of the Second Kind with Sharp Gradients Samuel A. Isaacsona,1 , Robert M. Kirbyb a Department b School

Source URL: math.bu.edu

Control and Performance of the Rotational-to-Linear Cobotic Transmission Eric L. Faulring∗ J. Edward Colgate† Michael A. Peshkin‡

Source URL: colgate.mech.northwestern.edu

Tutorial 14 C wiggle-match dating: an Excel-approach Maarten Blaauw 14 C wiggle-match dating assumes linear accumulation of, e.g., a peat core, and using this assumption it assigns calendar ages to all dated levels of su

Source URL: www.chrono.qub.ac.uk

• Statistics
• Measurement
• Categorical data
• Analytical chemistry
• Calibration curve
• Calibration
• Standard deviation
• Calendar
• Goodness of fit
• Confidence interval
• Normal distribution
• Calibration of radiocarbon dates

A Fast Linear-Arithmetic Solver for DPLL(T) Bruno Dutertre and Leonardo de Moura Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025, USA {bruno, demoura}@csl.sri.com

Source URL: yices.csl.sri.com

• Theoretical computer science
• Logic
• Mathematics
• Constraint programming
• Electronic design automation
• Formal methods
• Logic in computer science
• NP-complete problems
• Satisfiability modulo theories
• Boolean satisfiability problem
• Simplex algorithm
• Satisfiability

Decim, a new stream cipher for hardware applications ∗ C. Berbain1 , O. Billet1 , A. Canteaut2 , N. Courtois3 , B. Debraize3,4 , H. Gilbert1 , L. Goubin4 , A. Gouget5 , L. Granboulan6 , C. Lauradoux2 , M. Minier2 , T.

Source URL: www.rocq.inria.fr

• Cryptography
• Stream ciphers
• Pseudorandom number generators
• Linear-feedback shift register
• Correlation attack
• Self-shrinking generator
• Grain
• QUAD
• Turing
• Shrinking generator
• Shift register

Polynomial Spline Surfaces with Rational Linear Transitions J¨org Peters, Martin Sarov, University of Florida Abstract We explore a class of polynomial tensor-product spline surfaces on 3-6 polyhedra, whose vertices hav

Source URL: www.cise.ufl.edu